-- MAIN == 3
DEF MAIN:nat == sub(6,3)
